Both Carnap and Quine made significant contributions to the philosophy of mathematics despite their diversedviews. Carnap endorsed the dichotomy between analytic and synthetic knowledge and classified certainmathematical questions as internal questions appealing to logic and convention. On the contrary, Quine wasopposed to the analytic-synthetic distinction and promoted a holistic view of scientific inquiry. The purpose of thispaper is to argue that in light of the recent advancement of experimental mathematics such as Monte Carlosimulations, limiting mathematical inquiry to the domain of (...) logic is unjustified. Robustness studies implemented inMonte Carlo Studies demonstrate that mathematics is on par with other experimental-based sciences. (shrink)

The Ontology for Biomedical Investigations (OBI) is an ontology that provides terms with precisely defined meanings to describe all aspects of how investigations in the biological and medical domains are conducted. OBI re-uses ontologies that provide a representation of biomedical knowledge from the Open Biological and Biomedical Ontologies (OBO) project and adds the ability to describe how this knowledge was derived. We here describe the state of OBI and several applications that are using it, such as adding semantic expressivity to (...) existing databases, building data entry forms, and enabling interoperability between knowledge resources. OBI covers all phases of the investigation process, such as planning, execution and reporting. It represents information and material entities that participate in these processes, as well as roles and functions. Prior to OBI, it was not possible to use a single internally consistent resource that could be applied to multiple types of experiments for these applications. OBI has made this possible by creating terms for entities involved in biological and medical investigations and by importing parts of other biomedical ontologies such as GO, Chemical Entities of Biological Interest (ChEBI) and Phenotype Attribute and Trait Ontology (PATO) without altering their meaning. OBI is being used in a wide range of projects covering genomics, multi-omics, immunology, and catalogs of services. OBI has also spawned other ontologies (Information Artifact Ontology) and methods for importing parts of ontologies (Minimum information to reference an external ontology term (MIREOT)). The OBI project is an open cross-disciplinary collaborative effort, encompassing multiple research communities from around the globe. To date, OBI has created 2366 classes and 40 relations along with textual and formal definitions. The OBI Consortium maintains a web resource providing details on the people, policies, and issues being addressed in association with OBI. (shrink)

Purpose: to characterize ethics course content, structure, resources, pedagogic methods, and opinions among academic administrators and course directors at U.S. medical schools. Method: An online questionnaire addressed to academic deans and ethics course directors identified by medical school websites was emailed to 157 Association of American Medical Colleges member medical schools in two successive waves in early 2022. Descriptive statistics were utilized to summarize responses. Results: Representatives from 61 (39%) schools responded. Thirty-two (52%) respondents were course directors; 26 (43%) were (...) deans of academic affairs, medical education, or curriculum; and 3 with other roles also completed the survey (5%). All 61 schools reported some form of formal ethics education during the first year of medical school, with most (n = 54, 89%) reporting a formal mandatory introductory course during preclinical education. Schools primarily utilized lecture and small-group teaching methods. Knowledge-based examinations, attendance, and participation were most commonly used for assessment. A large majority regarded ethics as equally or more important than other foundational courses, but fewer (n = 37, 60%) provided faculty training for teaching ethics. Conclusions: Despite a response rate of 39 percent, the authors conclude that medical schools include ethics in their curricula in small-group and lecture formats with heterogeneity regarding content taught. Preclinical curricular redesigns must innovate and implement best practices for ensuring sound delivery of ethics content in future curricula. Additional large-scale research is necessary to determine said best practices. (shrink)

It is traditionally believed that cerebral activation (the presence of low voltage fast electrical activity in the neocortex and rhythmical slow activity in the hippocampus) is correlated with arousal, while deactivation (the presence of large amplitude irregular slow waves or spindles in both the neocortex and the hippocampus) is correlated with sleep or coma. However, since there are many exceptions, these generalizations have only limited validity. Activated patterns occur in normal sleep (active or paradoxical sleep) and during states of anesthesia (...) and coma. Deactivated patterns occur, at times, during normal waking, or during behavior in awake animals treated with atropinic drugs. Also, the fact that patterns characteristic of sleep, arousal, and waking behavior continue in decorticate animals indicates that reticulo-cortical mechanisms are not essential for these aspects of behavior. (shrink)

In orthodox quantum mechanics, it has virtually become the custom to identify properties of a physical system with operationally testable propositions about the system. The causes and consequences of this practice are explored mathematically in this paper. Among other things, it is found that such an identification imposes severe constraints on the admissible states of the physical system.